Sublattice subgroups of finitely presented lattice-ordered groups
نویسندگان
چکیده
منابع مشابه
Finitely Presented Abelian Lattice-Ordered Groups
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of generators is at most 3, then elementary equivalence implies isomorphism. We deduce from our methods that the theory of the free MV -algebra on at least 2 generators is undecidable.
متن کاملRepresenting Subgroups of Finitely Presented Groups by Quotient Subgroups
CONTENTS This article proposes to represent subgroups of finitely presented 1 . Creation of Quotient Representations and Easy Calculations g r o u p s b y t h e i r i m a g e i n a quo t ient. It gives algorithms for basic 2. Subdirect Products operations in this representation and investigates how iteration 3. Iterated Quotient Representations of this approach can be used to extend known quoti...
متن کاملFinitely presented partially ordered abelian groups
We study the partially-ordered abelian group, F (P; R), generated by a set of generators,P , and inequality relations, R, and its representations in Euclidean space. First F (P; R) is deened by a universal property and then existence is shown proof-theoretically. We then characterize the order structure of F (P; R). The rst main result of the paper utilizes the Marriage Theorem to prove that if...
متن کاملConvex $L$-lattice subgroups in $L$-ordered groups
In this paper, we have focused to study convex $L$-subgroups of an $L$-ordered group. First, we introduce the concept of a convex $L$-subgroup and a convex $L$-lattice subgroup of an $L$-ordered group and give some examples. Then we find some properties and use them to construct convex $L$-subgroup generated by a subset $S$ of an $L$-ordered group $G$ . Also, we generalize a well known result a...
متن کاملFinitely Presented Subgroups of a Product of Two Free Groups
We use van Kampen diagram techniques to give a new geometric proof of Baumslag and Roseblade’s result that a non–free finitely presented subgroup of a direct product of two free groups is virtually a product of subgroups of the factors.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2006
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2006.03.013